1. Sheaves, Games, and Model Completions :
پدیدآورنده : by Silvio Ghilardi, Marek Zawadowski.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Logic.,Philosophy (General)
رده :
QA169
.
B975
2002